Electronic Books

Total Books: 21 - 40 /54

Distributed Artificial Intelligence : Second International Conference, DAI 2020, Nanjing, China, October 24–27, 2020, Proceedings

This book constitutes the refereed proceedings of the Second International Conference on Distributed Artificial Intelligence, ...

Distributed Computing and Internet Technology

This book constitutes the proceedings of the 17th International Conference on Distributed Computing and Internet Technology, ...

Embedded Computer Systems: Architectures, Modeling, and Simulation

This book constitutes the refereed proceedings of the 20th International Conference on Embedded Computer Systems: Architectures, ...

Euro-Par 2019: Parallel Processing Workshops

Euro-Par is an annual, international conference in Europe, covering all aspects of parallel and distributed processing. These ...

Euro-Par 2020: Parallel Processing

This book constitutes the proceedings of the 26th International Conference on Parallel and Distributed Computing, Euro-Par ...

Financial Cryptography and Data Security : FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia, February 14, 2020, Revised Selected Papers

This book constitutes the refereed proceedings of two workshops held at the 24th International Conference on Financial Cryptography ...

Formal Techniques for Distributed Objects, Components, and Systems

This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed ...

Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

The papers deal with the foundations on which software engineering is built, including topics like software engineering as ...

Information Systems Security and Privacy

This book constitutes the revised selected papers of the 5th International Conference on Information Systems Security and ...

Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...

OpenMP: Portable Multi-Level Parallelism on Modern Systems

This book constitutes the proceedings of the 16th International Workshop on OpenMP, IWOMP 2020, held in Austin, TX, USA, ...

Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

This book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, ...

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

This book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March ...

Programming Languages and Systems

This volume contains the papers presented at the 27th European Symposium on Pro-gramming (ESOP 2018) held 2018, in Thessaloniki, ...

Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

This book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April ...

Reversible Computation

This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held ...

Security and Cryptography for Networks

This book constitutes the proceedings of the 12th International Conference on Security and Cryptography for Networks, SCN ...

Security and Privacy in Social Networks and Big Data

This book constitutes revised and selected papers from the 6th International Symposium on Security and Privacy in Social ...

Total Books: 21 - 40 /54